SPL

SPL: Unit Testing Performance

Unit testing is an attractive quality management tool in the software development process, however, practical obstacles make it difficult to use unit tests for performance testing. We present Stochastic Performance Logic, a formalism for expressing performance requirements, together with interpretations that facilitate performance evaluation in the unit test context. The formalism and the inter...

Compositional Verification of Evolving SPL

This paper presents a novel approach to the design verification of Software Product Lines(SPL). The proposed approach assumes that the requirements and designs are modeled as finite state machines with variability information. The variability information at the requirement and design levels are expressed differently and at different levels of abstraction. Also the proposed approach supports ver...

Proposal for SPL Release 2

The scope of further SPL development at this time is set by the U.S. Food and Drug Authority (FDA) in its mission to support existing and future drug labeling and drug listing regulations in the U.S. The most important scope-setter for major current SPL development is the so called “Physicians’ Labeling Rule,” that was announced as NPRM in 2000 and for which the release of the final rule is now...

RoboCup SPL 2014 Champion Team Paper

Winning the Robocup SPL World Championship is not accomplished in just one year nor is it just a matter of writing effective software. Our success should also be attributed to the accumulation of experience since 1999, strong institutional support and dedicated collaborative teamwork. This paper summarises the key contributing innovations from the time the software was rewritten in 2010, and pr...

Handling Variability and Traceability over SPL Disciplines